Non-Well-Founded Proofs for the Grzegorczyk Modal Logic